# -*- mode: snippet -*-
# name: Unset Injection On Proofs
# --
Unset Injection On Proofs
